|
Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology .〔http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page〕 He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader. In 1993 he became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden.〔http://www.icfca2009.h-da.de/home/invited-speakers/franz-baader/index.htm〕 ==Works== *Franz Baader, Tobias Nipkow, ''Term Rewriting and All That'', (1998) Cambridge University Press. * * 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Franz Baader」の詳細全文を読む スポンサード リンク
|